Haverkort, Boudewijn R.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks – Industry Track - Portland, OR, USA (2019.6.24-2019.6.27)] 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks – Industry Track - A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications

Chromik, Justyna, Remke, Anne, Haverkort, Boudewijn R., Geist, Gerard

Year:

2019

Language:

english

File:

PDF, 145 KB

english, 2019

2

Formal analysis techniques for gossiping protocols

Bakhshi, Rena, Bonnet, Francois, Fokkink, Wan, Haverkort, Boudewijn

Journal:

ACM SIGOPS Operating Systems Review

Year:

2007

Language:

english

File:

PDF, 249 KB

english, 2007

3

Performability modelling tools and techniques

Boudewijn R. Haverkort, Ignas G. Niemegeers

Journal:

Performance Evaluation

Year:

1996

Language:

english

File:

PDF, 2.31 MB

english, 1996

4

Performance and reliability analysis of computer systems: An example-based approach using the sharpe software package: Robin A. Sahner, Kishor S. Trivedi, Antonio Puliafito, Kluwer Academic Publishers, Dordrecht, 1996 (Hardback, 404 pp.)

Boudewijn R. Haverkort

Journal:

Performance Evaluation

Year:

1998

Language:

english

File:

PDF, 291 KB

english, 1998

5

Performance of Computer Communication Systems || Open Queueing Networks

Haverkort, Boudewijn R.

Year:

1998

Language:

english

File:

PDF, 1.88 MB

english, 1998

6

Performance of Computer Communication Systems || BCMP Queueing Networks

Haverkort, Boudewijn R.

Year:

1998

Language:

english

File:

PDF, 570 KB

english, 1998

7

Mean-field framework for performance evaluation of push–pull gossip protocols

Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort

Journal:

Performance Evaluation

Year:

2011

Language:

english

File:

PDF, 1.16 MB

english, 2011

8

[Lecture Notes in Computer Science] Computer Performance Evaluation.Modelling Techniques and Tools Volume 1786 || Petri Net Modelling and Performability Evaluation with TimeNET 3.0

Haverkort, Boudewijn R., Bohnenkamp, Henrik C., Smith, Connie U.

Year:

2000

Language:

english

File:

PDF, 224 KB

english, 2000

9

[IEEE 2018 13th Annual Conference on System of Systems Engineering (SoSE) - Paris, France (2018.6.19-2018.6.22)] 2018 13th Annual Conference on System of Systems Engineering (SoSE) - Designing Cyber-Physical Systems with aDSL: a Domain-Specific Language and Tool Support

van den Berg, Freek, Garousi, Vahid, Tekinerdogan, Bedir, Haverkort, Boudewijn R.

Year:

2018

Language:

english

File:

PDF, 331 KB

english, 2018

10

[Lecture Notes in Computer Science] Computer Performance Evaluation.Modelling Techniques and Tools Volume 1786 || Reliability and Performability Modeling Using SHARPE 2000

Haverkort, Boudewijn R., Bohnenkamp, Henrik C., Smith, Connie U.

Year:

2000

Language:

english

File:

PDF, 115 KB

english, 2000

11

[ACM Press Companion of the 2018 ACM/SPEC International Conference - Berlin, Germany (2018.04.09-2018.04.13)] Companion of the 2018 ACM/SPEC International Conference on Performance Engineering - ICPE '18 - Combining Energy Saving Techniques in Data Centres using Model-Based Analysis

Postema, Björn F., Van Damme, Tobias, De Persis, Claudio, Tesi, Pietro, Haverkort, Boudewijn R.

Year:

2018

Language:

english

File:

PDF, 6.07 MB

english, 2018

12

Performance evaluation of multicast communication in packet-switched networks

Marko Schuba, Boudewijn R. Haverkort, Gaby Schneider

Journal:

Performance Evaluation

Year:

2000

Language:

english

File:

PDF, 528 KB

english, 2000

13

[IEEE 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Budapest, Hungary (2013.06.24-2013.06.27)] 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - A logic for model-checking mean-field models

Kolesnichenko, Anna, de Boer, Pieter-Tjerk, Remke, Anne, Haverkort, Boudewijn R.

Year:

2013

Language:

english

File:

PDF, 1.20 MB

english, 2013

14

[Lecture Notes in Computer Science] Computer Performance Evaluation.Modelling Techniques and Tools Volume 1786 || Decomposition of General Tandem Queueing Networks with MMPP Input

Haverkort, Boudewijn R., Bohnenkamp, Henrik C., Smith, Connie U.

Year:

2000

Language:

english

File:

PDF, 244 KB

english, 2000

15

[Lecture Notes in Computer Science] Validation of Stochastic Systems Volume 2925 || Probabilistic Methods in State Space Analysis

Baier, Christel, Haverkort, Boudewijn R., Hermanns, Holger, Katoen, Joost-Pieter, Siegle, Markus

Year:

2004

Language:

english

File:

PDF, 642 KB

english, 2004

16

Performance of Computer Communication Systems || Closed Queueing Networks

Haverkort, Boudewijn R.

Year:

1998

Language:

english

File:

PDF, 2.22 MB

english, 1998

17

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Rare Event Simulation for Highly Dependable Systems with Fast Repairs

Reijsbergen, Daniel, Boer, Pieter-Tjerk de, Scheinhardt, Werner, Haverkort, Boudewijn

Year:

2010

Language:

english

File:

PDF, 316 KB

english, 2010

18

Networking for the Cloud: Challenges and Trends

Drago, Idilio, de O. Schmidt, Ricardo, Hofstede, Rick, Sperotto, Anna, Karimzadeh, Morteza, Haverkort, Boudewijn R., Pras, Aiko

Journal:

PIK - Praxis der Informationsverarbeitung und Kommunikation

Language:

english

File:

PDF, 1.30 MB

english

19

[Lecture Notes in Computer Science] Validation of Stochastic Systems Volume 2925 || Analysing Randomized Distributed Algorithms

Baier, Christel, Haverkort, Boudewijn R., Hermanns, Holger, Katoen, Joost-Pieter, Siegle, Markus

Year:

2004

Language:

english

File:

PDF, 335 KB

english, 2004

20

[IEEE 2016 12th International Conference on the Design of Reliable Communication Networks (DRCN) - Paris, France (2016.3.15-2016.3.17)] 2016 12th International Conference on the Design of Reliable Communication Networks (DRCN) - Fitting a code-red virus spread model: An account of putting theory into practice

Kolesnichenko, Anna, Haverkort, Boudewijn R., Remke, Anne, de Boer, Pieter-Tjerk

Year:

2016

Language:

english

File:

PDF, 1.49 MB

english, 2016

21

[ACM Press the Eighth International Conference - Shatin, Hong Kong (2017.05.16-2017.05.19)] Proceedings of the Eighth International Conference on Future Energy Systems - e-Energy '17 - Specification of Data Centre Power Management Strategies

Postema, Björn F., Haverkort, Boudewijn R.

Year:

2017

Language:

english

File:

PDF, 916 KB

english, 2017

22

[IEEE 2017 IEEE International Conference on Smart Grid Communications (SmartGridComm) - Dresden, Germany (2017.10.23-2017.10.27)] 2017 IEEE International Conference on Smart Grid Communications (SmartGridComm) - Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases

Chromik, Justyna J., Pilch, Carina, Brackmann, Pascal, Duhme, Christof, Everinghoff, Franziska, Giberlein, Artur, Teodorowicz, Thomas, Wieland, Julian, Haverkort, Boudewijn R., Remke, Anne

Year:

2017

Language:

english

File:

PDF, 781 KB

english, 2017

23

[IEEE 2016 IEEE International Energy Conference (ENERGYCON) - Leuven, Belgium (2016.4.4-2016.4.8)] 2016 IEEE International Energy Conference (ENERGYCON) - Assessing the cost of energy independence

Jongerden, Marijn R., Huls, Jannik, Haverkort, Boudewijn R., Remke, Anne

Year:

2016

Language:

english

File:

PDF, 289 KB

english, 2016

24

[IEEE 2019 25th International Workshop on Thermal Investigations of ICs and Systems (THERMINIC) - Lecco, Italy (2019.9.25-2019.9.27)] 2019 25th International Workshop on Thermal Investigations of ICs and Systems (THERMINIC) - A Generic Processor Temperature Estimation Method

Ozceylan, Baver, Haverkort, Boudewijn R., de Graaf, Maurits, Gerards, Marco E. T.

Year:

2019

File:

PDF, 704 KB

2019

25

Performance of Computer Communication Systems || Hierarchical Queueing Networks

Haverkort, Boudewijn R.

Year:

1998

Language:

english

File:

PDF, 1.81 MB

english, 1998

26

Time-bounded reachability in tree-structured QBDs by abstraction

Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen

Journal:

Performance Evaluation

Year:

2011

Language:

english

File:

PDF, 1.46 MB

english, 2011

27

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 227 KB

english, 2005

28

Design and evaluation of a connection management mechanism for an ATM-based connectionless service

Heijenk, Geert, Haverkort, Boudewijn R

Journal:

Distributed Systems Engineering

Year:

1996

Language:

english

File:

PDF, 388 KB

english, 1996

29

[Lecture Notes in Computer Science] Validation of Stochastic Systems Volume 2925 || An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems

Baier, Christel, Haverkort, Boudewijn R., Hermanns, Holger, Katoen, Joost-Pieter, Siegle, Markus

Year:

2004

Language:

english

File:

PDF, 300 KB

english, 2004

30

Product forms for availability models

Eric Smeitink, Nico M. van Dijk, Boudewijn R. Haverkort

Journal:

Applied Stochastic Models in Business and Industry

Year:

1992

Language:

english

File:

PDF, 1.09 MB

english, 1992

31

[Lecture Notes in Computer Science] Validation of Stochastic Systems Volume 2925 || On Probabilistic Computation Tree Logic

Baier, Christel, Haverkort, Boudewijn R., Hermanns, Holger, Katoen, Joost-Pieter, Siegle, Markus

Year:

2004

Language:

english

File:

PDF, 511 KB

english, 2004

32

[Lecture Notes in Computer Science] Validation of Stochastic Systems Volume 2925 || The Verification of Probabilistic Lossy Channel Systems

Baier, Christel, Haverkort, Boudewijn R., Hermanns, Holger, Katoen, Joost-Pieter, Siegle, Markus

Year:

2004

Language:

english

File:

PDF, 256 KB

english, 2004

33

[Lecture Notes in Computer Science] Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems Volume 9629 || DDoS 3.0 - How Terrorists Bring Down the Internet

Remke, Anne, Haverkort, Boudewijn R.

Year:

2016

Language:

english

File:

PDF, 175 KB

english, 2016

34

[IEEE 2016 Joint Workshop on Cyber- Physical Security and Resilience in Smart Grids (CPSR-SG) - Vienna, Austria (2016.4.12-2016.4.12)] 2016 Joint Workshop on Cyber- Physical Security and Resilience in Smart Grids (CPSR-SG) - What's under the hood? Improving SCADA security with process awareness

Chromik, Justyna J., Remke, Anne, Haverkort, Boudewijn R.

Year:

2016

Language:

english

File:

PDF, 681 KB

english, 2016

35

Performance of Computer Communication Systems || Stochastic Petri Nets

Haverkort, Boudewijn R.

Year:

1998

Language:

english

File:

PDF, 1.55 MB

english, 1998

36

A Massively Scalable Architecture For Instant Messaging & Presence

Jorrit Schippers, Anne Remke, Henk Punt, Maarten Wegdam, Boudewijn Haverkort

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 668 KB

english, 2010

37

[IEEE 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Edinburgh, UK (2007.06.25-2007.06.28)] 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Computing Battery Lifetime Distributions

Cloth, Lucia, Jongerden, Marijn R., Haverkort, Boudewijn R.

Year:

2007

Language:

english

File:

PDF, 252 KB

english, 2007

38

[ACM Press Proceeding from the 2006 workshop - Pisa, Italy (2006.10.10-2006.10.10)] Proceeding from the 2006 workshop on Tools for solving sturctured Markov chains - SMCtools '06 - Uniformization with representatives

Remke, Anne, Haverkort, Boudewijn R., Cloth, Lucia

Year:

2006

Language:

english

File:

PDF, 257 KB

english, 2006

39

Performance of Computer Communication Systems ||

Haverkort, Boudewijn R.

Year:

1998

Language:

english

File:

PDF, 29.69 MB

english, 1998

40

Performance of Computer Communication Systems || Numerical Solution of Markov Chains

Haverkort, Boudewijn R.

Year:

1998

Language:

english

File:

PDF, 1.69 MB

english, 1998

41

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices

Cloth, Lucia, Haverkort, Boudewijn R.

Year:

2008

Language:

english

File:

PDF, 94 KB

english, 2008

42

Survivability Evaluation of Gas, Water and Electricity Infrastructures

Avritzer, Alberto, Carnevali, Laura, Ghasemieh, Hamed, Happe, Lucia, Haverkort, Boudewijn R., Koziolek, Anne, Menasche, Daniel, Remke, Anne, Sarvestani, Sahra Sedigh, Vicario, Enrico

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 589 KB

english, 2015

43

Analysis of windowing mechanisms with infinite-state stochastic Petri nets

Ost, Alexander, Haverkort, Boudewijn R.

Journal:

ACM SIGMETRICS Performance Evaluation Review

Year:

1998

Language:

english

File:

PDF, 970 KB

english, 1998

44

Performance of Computer Communication Systems || Stochastic Petri Net Applications

Haverkort, Boudewijn R.

Year:

1998

Language:

english

File:

PDF, 1.65 MB

english, 1998

45

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking

Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 346 KB

english, 2008

46

Performance of Computer Communication Systems || Infinite-State SPNs

Haverkort, Boudewijn R.

Year:

1998

Language:

english

File:

PDF, 1.40 MB

english, 1998

47

Distributed disk-based algorithms for model checking very large Markov chains

Alexander Bell, Boudewijn R. Haverkort

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 404 KB

english, 2006

48

The pseudo-self-similar traffic model: application and validation

Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort, Alexander Ost

Journal:

Performance Evaluation

Year:

2004

Language:

english

File:

PDF, 422 KB

english, 2004

49

[IEEE 2008 13th IEEE International Conference on Engineering of Complex Computer Systems - (ICECCS) - Belfast, Northern Ireland (2008.03.31-2008.04.3)] 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) - Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework

Boudali, Hichem, Crouzen, Pepijn, Haverkort, Boudewijn R., Kuntz, Matthias, Stoelinga, Mariëlle

Year:

2008

Language:

english

File:

PDF, 226 KB

english, 2008

50

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Quantitative evaluation in embedded system design

Cloth, Lucia, Haverkort, Boudewijn R.

Year:

2008

Language:

english

File:

PDF, 100 KB

english, 2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски